Electronic Books

Total Books: 1 - 20 /177

25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Adapting Proofs-as-Programs

This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...

Advances in Computer Science – ASIAN 2007. Computer and Network Security

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Advances in Computer Science – ASIAN 2007. Computer and Network Security

This book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...

Advances in Design and Specification Languages for SoCs

Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...

Agent-Oriented Software Engineering V

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...

Agent-Oriented Software Engineering VI

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...

Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...

Algebra and Coalgebra in Computer Science

Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...

Algebra and Coalgebra in Computer Science

Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...

Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Algebraic Methodology and Software Technology

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...

Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...

Architecting Systems with Trustworthy Components

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

Total Books: 1 - 20 /177